- 2 402 202 книги
- Поиск
User-Centered Data Management (Synthesis Lectures on Data Management)
Автор: Tiziana Catarci, Автор: Alan Dix, Автор: Stephen Kimani, Автор: Giuseppe SantucciКатегория: Математика, Алгоритмы и структуры данных
Размер книги: 6.67 Mb
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)
Автор: Tiziana Margaria, Автор: Bernhard SteffenКатегория: Компьютеры
Размер книги: 13.00 Mb
The Local Dimension of Migration Policymaking (Amsterdam University Press - IMISCOE Reports)
Автор: Tiziana Caponio, Автор: Maren BorkertКатегория: Общественные науки прочие, Политика
Размер книги: 860 Kb
Semantic Web Services Challenge: Results from the First Year (Semantic Web and Beyond)
Автор: Charles Petrie, Автор: Tiziana Margaria, Автор: Holger Lausen, Автор: Michal Zaremba
Размер книги: 5.39 Mb
Cohabitation, Family & Society: European Experiences (Routledge Advances in Sociology)
Автор: Tiziana NazioКатегория: Наука (общее)
Размер книги: 2.46 Mb
Il Core Competence e il Core Curriculum del logopedista (Metodologie Riabilitative in Logopedia)
Автор: Laura Maria Castagna, Автор: Anna Giulia de Cagno, Автор: Maria Valeria Martino, Автор: Giovanna Lovato, Автор: Anna Pierro, Автор: Carmela Razzano, Автор: Tiziana Rossetto, Автор: Irene Vernero
Размер книги: 1.19 Mb
Francisci De Marchia: Reportatio IIA (Quaestiones in Secundum Librum Sententiarum) qq. 1-12 (Ancient and Medieval Philosophy Series 3, Francisci De Marchia Opear Philosophica Et Theologica)
Автор: Tiziana Suarez-Nani, Автор: William Duba, Автор: Emmanuel Babey, Автор: Girard J. Etzkorn
Размер книги: 2.61 Mb
Advances in Neuropharmacology, Volume 85 (International Review of Neurobiology)
Автор: Giacinto Bagetta, Автор: M. Tiziana Corasaniti, Автор: T. Sakurada, Автор: S. Sakurada
Размер книги: 9.05 Mb
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)
Автор: Tiziana Margaria, Автор: Bernhard Steffen
Размер книги: 8.98 Mb
Algorithms and Complexity: 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010, Proceedings (Lecture Notes in Computer Science)
Автор: Josep Diaz, Автор: Tiziana Calamoneri
Размер книги: 4.57 Mb
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Автор: Tiziana Margaria, Автор: Bernhard Steffen
Размер книги: 9.82 Mb
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Автор: Tiziana Margaria, Автор: Bernhard Steffen
Размер книги: 13.99 Mb
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings
Автор: Margaria, Автор: Tiziana; Steffen, Автор: BernhardКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 8.96 Mb
Tools and Algorithms for the Construction and Analysis of Systems, 1 conf., TACAS '95
Автор: Ed Brinksma, Автор: W. Rance Cleaveland, Автор: Kim G. Larsen, Автор: Tiziana Margaria, Автор: Bernhard SteffenКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.30 Mb
Tools and Algorithms for the Construction and Analysis of Systems, 2 conf., TACAS '96
Автор: Tiziana Margaria, Автор: Bernhard SteffenКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.60 Mb
Algorithms and Complexity, 6 conf., CIAC 2006
Автор: Tiziana Calamoneri, Автор: Irene Finocchi, Автор: Guiseppe F. ItalianoКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.14 Mb
Tools and Algorithms for the Construction and Analysis of Systems, 7 conf., TACAS 2001
Автор: Tiziana Margaria, Автор: Wang YiКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.55 Mb
Advances in Neuropharmacology
Автор: Giacinto Bagetta, Автор: M. Tiziana Corasaniti, Автор: T. Sakurada, Автор: S. SakuradaКатегория: MEDICINE
Размер книги: 9.97 Mb
Journal on Data Semantics 5 conf
Автор: Stefano Spaccapietra, Автор: Paolo Atzeni, Автор: Wesley W. Chu, Автор: Tiziana Catarci, Автор: Katia P. SycaraКатегория: CsLn_
Размер книги: 4.33 Mb
Software Process Improvement, 14 conf., EuroSPI 2007
Автор: Pekka Abrahamsson, Автор: Nathan Baddoo, Автор: Tiziana Margaria, Автор: Richard MessnarzКатегория: CsLn_
Размер книги: 3.00 Mb
Software Process Improvement: 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Автор: Pekka Abrahamsson, Автор: Nathan Baddoo, Автор: Tiziana Margaria, Автор: Richard MessnarzКатегория: Computer Science, Computer Science
Размер книги: 5.15 Mb
Fundamental Approaches to Software Engineering
Автор: Michel Wermelinger, Автор: Tiziana Margaria-SteffenКатегория: Computer Science, Software Engineering
Размер книги: 7.19 Mb
Neuroprotection Methods and Protocols
Автор: Tiziana BorselloКатегория: Biology
Размер книги: 2.78 Mb
Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers
Автор: Tiziana Margaria, Автор: Bernhard Steffen, Автор: Roland Rückert, Автор: Joachim Posegga
Размер книги: 6.59 Mb
Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers
Автор: Tiziana Margaria, Автор: Bernhard Steffen, Автор: Roland Rückert, Автор: Joachim Posegga
Размер книги: 7.31 Mb
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September ...
Автор: Tiziana Margaria, Автор: Tom Melham
Размер книги: 3.98 Mb
Fundamental Approaches to Software Engineering
Автор: Michel Wermelinger, Автор: Tiziana Margaria-Steffen
Размер книги: 3.71 Mb
